Timestamp-based concurrency control